退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:定理证明中控制搜索的推理权
Fuchs, Dirk;
机译:基于超链接的定理证明中的滑动优先搜索控制存储消耗
机译:基于定理证明的封闭世界语义下开放关系查询的推理控制
机译:用推论推理证明定理证明可满足性
机译:学习搜索控制知识以进行方程式定理证明
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:b-拟度量族生成空间中的一些不动点定理
机译:访问权限许可生成装置,访问权限许可生成方法,程序及访问控制系统
机译:生成上下文推断的搜索查询并对查询结果进行排序的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。